201. Model theory of algebra and arithmetic: proceedings of the Conference on Applications of Logic to
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Model theory
رده :
QA
3
.
L28
no
.
834
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
202. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to
پدیدآورنده: edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Model theory
رده :
QA
1
.
L4
v
.
834
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
203. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to
پدیدآورنده: edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Model theory
رده :
QA
9
.
7
.
C6
1979
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
204. Model theory of algebra and arithmetic: proceedings of the conference on ... held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده: edited by L. Pacholski, J Wierzejewski, and A. J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Model theory,، Algebraic logic,، Groups, Theory of,، Set theory
رده :
QA
3
.
L28
no
.
834
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
205. Model theory of fields
پدیدآورنده: Marker, David, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
206. Model theory of fields
پدیدآورنده: Marker, David, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
207. Model theory of groups and automorphism groups : Blaubeuren, August 1995
پدیدآورنده: edited by David M. Evans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Model theory,Congresses ، Group theory
رده :
QA
9
.
7
.
M63
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
208. Model theory of modules, algebras and categories :
پدیدآورنده: Alberto Facchini [and three others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Congresses.,Modules (Algebra), Congresses.,Algebra.,Associative rings and algebras -- Modules, bimodules and ideals -- Free, projective, and flat modules and ideals.,Associative rings and algebras -- Modules, bimodules and ideals -- Structure and classification (except as in 16Gxx), direct sum decomposition, cancellation.,Associative rings and algebras -- Representation theory of rings and algebras -- Representations of quivers and partially ordered sets.,Category theory; homological algebra -- Abelian categories -- Preadditive, additive categories.,Category theory; homological algebra -- Categories with structure -- Monoidal categories (= multiplicative categories), symmetric monoidal categories, braided categories.,Commutative algebra -- Arithmetic rings and other special rings -- Valuation rings.,Commutative algebra -- Homological methods -- Derived categories.,Dynamical systems and ergodic theory -- Ergodic theory -- Entropy and other invariants, isomorphism, classification.,Mathematical logic and foundations -- Model theory -- Model-theoretic algebra.,Modules (Algebra)
رده :
QA247
.
3
.
I5855
2017
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
209. Model theory of stochastic processes /
پدیدآورنده: by Sergio Fajardo, H. Jerome Keisler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Model theory,Stochastic processes
رده :
QA274
.
F37
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
210. Model theory of stochastic processes
پدیدآورنده: Fajardo, Sergio
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Stochastic processes,، Model theory
رده :
QA
274
.
F37
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
211. Model theory of stochastic processes
پدیدآورنده: Fajardo, Sergio, 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Stochastic processes,، Model theory
رده :
QA
9
.
A1L44
Vol
.
14
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
212. Model theory with applications to algebra and analysis
پدیدآورنده: Zoe Chatzidakis ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
M639
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
213. Model theory with applications to algebra and analysis
پدیدآورنده: Zoe Chatzidakis ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
M638
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
214. Model theory with applications to algebra and analysis
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
M638
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
215. Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry :
پدیدآورنده: Raf Cluckers, Johannes Nicaise, Julien Sebag (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Espacios analíticos.,Modelos, Teoría de.
![](/design/images/bookmore.png)
216. Motivic integration and its interactions with model theory and non-Archimedean geometry
پدیدآورنده: edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Valued fields,، Analytic spaces,، Geometry, Algebraic
رده :
QA
9
.
7
.
M68
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
217. Motivic integration and its interactions with model theory and non-Archimedean geometry
پدیدآورنده: / edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Model theory.,Valued fields.,Analytic spaces.,Geometry, Algebraic.
رده :
QA
,
9
.
7
,.
M68
,
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
218. Multi-parametric model-based control: theory and applications
پدیدآورنده: edited by Efstratios N. Pistikopoulos, Michael C. Georgiadis and Vivek Dua
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Systems engineering - Computer programs,، Predictive control,، Multiparadigm programming )Computer science(
رده :
QA
76
.
612
.
M852
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
219. Multi-parametric model-based control: theory and applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Systems engineering-- Computer programs,، Predictive control,، Multiparadigm programming )Computer science(
رده :
QA
76
.
612
.
M852
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
220. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American
پدیدآورنده: edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)